--  Comprobamos el correcto funcionamiento de los IF. Ademas
--  vemos que el nombre del paquete es parecido a una palabra clave
package If_True_1 is
   Condicion : Boolean := True;
   Resultado : Integer := 0;
   procedure Es_Cierta_Condicion (Condicion : in out Boolean,
                                  Resultado : in out Integer);
end If_True_1;

package body If_True_1 is
   procedure Es_Cierta_Condicion (Condicion : in out Boolean,
                                  Resultado : in out Integer) is
      Basura : Integer := 1274;
   begin
      Resultado := Basura;
      if Condicion then
         Resultado  := 1;
      else
         Resultado := 0;
      end if;
   end Es_Cierta_Condicion;

begin
   Es_Cierta_Condicion (Condicion, Resultado);
end If_True_1;
